Maurice Couturier. Nabokov ou la cruauté du désir.

Contribution a l'etude du traitement de la morve experimentale du cobaye par l'anamorve, la sulfadiazine, la penicilline et la Streptomycine

Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis

RÉSUMÉ. Nous présentons dans ce papier un algorithme de résolution, dans la théorie T des arbres (éventuellement infinis), des contraintes représentées par des formules générales du premier ordre, avec pour seul symbole de relation l’égalité et pour symboles de fonctions les éléments d’un ensemble infini F. L’algorithme est constitué d’un ensemble de 11 règles de réécriture de sous-formules en ...

Un automate pour la génération complète ou partielle des concepts du treillis de Galois

Résumé. Cet article se situe dans le domaine de l’analyse formelle de concepts et du treillis de concepts (treillis de Galois) lequel est un cadre théorique intéressant pour le regroupement conceptuel des données et la génération des règles d’association. Puisque la prospection de données (data mining) est utilisée comme support à la prise de décision par des analystes rarement intéressés par l...

Lambeau de couverture au niveau du scarpa par plastie du muscle couturier (Sartorius)

L'infection du scarpa avec un pontage prothétique sous-jacent perméable est une urgence chirurgicale qui peut mettre en jeu le pronostic fonctionnel du membre ainsi que le pronostic vital du patient. Le chirurgien vasculaire peut avoir recours dans certaines situations à un traitement conservateur avec débridement local sans explantation du matériel prothétique. Cette option implique la nécessi...

La conservation du virus de la peste bovine par lyophilisation